Section: Dissemination

Promoting Scientific Activities

Scientific events organisation

General chair, Scientific chair

• Axel Legay has been tutorial chair for the European Joint Conferences on Theory and Practice of Software (ETAPS)

Member of the organizing committee

• Axel Legay was a member of the organization committee for the European Joint Conferences on Theory and Practice of Software (ETAPS)

Scientific events selection

Responsable of the conference program committee

• Axel Legay has been the Program Chair for Formal Modelling and Analysis of Timed Systems conference

• Axel Legay has been the Program Chair for From Programs to Systems – The Systems Perspective in Computing workshop organized in honour of Joseph Sifakis

• Axel Legay has been the Program Chair for Software Product Line Analysis Tools workshop

Member of the conference program committee

• Axel Legay was PC member of MEMOCODE, FORMATS, FORMALIZE,SPLC,ASE,FACS,FORTE.

• Louis-Marie Traonouez was PC member of FORMATS

• Rudolf Fahrenberg was PC member of MFCS

Journal

Member of the editorial board

• Axel Legay is a member of the editorial board of the newly created journal for masterminding changes (FOMACS).

Teaching

• Software Verification

  • Axel Legay: Software Verification, 40 hours, Royal Holloway, University of London

  • Axel Legay: Modélisation et Vérification Formelle par Automates, 12 hours, University of Rennes 1.

  • Rudolf Fahrenberg: Modélisation et Vérification Formelle par Automates, TP 12 hours, University of Rennes 1.

  • Louis-Marie Traonouez: Verification et Test des Systemes Embarques, 20 hours, ESIR Rennes.

Supervision

• PhD : Cyrille Jegourel, Rare event techniques for Statistical Model checking, Novembre 2011, Axel Legay

Juries

Axel Legay has been a member of the PhD jury for Hoa Lee (Trento), Maxime Cordy (Namur), and Cyrille Jegourel (Rennes).